45 research outputs found
A presentation theorem for continuous logic and Metric Abstract Elementary Classes
We give a presentation theorem for continuous first-order logic and Metric
Abstract Elementary classes in terms of and Abstract
Elementary Classes, respectively. This presentation is accomplished by
analyzing dense subsets that are closed under functions. We extend this
correspondence to types and saturation
Tameness and frames revisited
We study the problem of extending an abstract independence notion for types
of singletons (what Shelah calls a good frame) to longer types. Working in the
framework of tame abstract elementary classes, we show that good frames can
always be extended to types of independent sequences. As an application, we
show that tameness and a good frame imply Shelah's notion of dimension is
well-behaved, complementing previous work of Jarden and Sitton. We also improve
a result of the first author on extending a frame to larger models.Comment: 36 page